Proof of Correctness of Decision Table Programs
نویسندگان
چکیده
منابع مشابه
Correctness of logic programs using proof schemes
The correctness of logic programs which are constructed by a schema-based method is presented in this paper. This schema-based method constructs typed, moded logic programs by stepwise top-down design using five program schemata, data types and modes. Correctness proofs in this approach are guided by the constructed logic programs. A proof scheme is proposed for each program schema. It is claim...
متن کاملProof rules for the correctness of quantum programs
We apply the notion of quantum predicate proposed by D’Hondt and Panangaden to analyze a simple language fragment which may describe the quantum part of a future quantum computer in Knill’s architecture. The notion of weakest liberal precondition semantics, introduced by Dijkstra for classical deterministic programs and by McIver and Morgan for probabilistic programs, is generalized to our quan...
متن کاملA Partial Correctness Proof for Programs with Decided Specifications
This paper provides the method and complete proof for programs written in Pascal programming language with decided specifications for programs which reverse the digits of an integer from [5]. The author of this paper describes a new concept of partial correctness of programs better suited to specification purposes than the classical one. Partial correctness specifications are pairs of assertion...
متن کاملA Proof of Protocol Correctness
The paper présents a formai description of the medium access protocol used in the Cambridge Ring, and aproofthat the protocol recovers from transient transmission errors.
متن کاملSupercompiler HOSC: proof of correctness
The paper presents the proof of correctness of an experimental supercompiler HOSC dealing with higher-order functions. В работе приводится доказательство корректности экспериментального суперкомпилятора HOSC, работающего с функциями высших порядков.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 1984
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/27.3.230